tertium non datur

a third is not given

Notes

A logical axiom that a claim is either true or false, with no third option.